var gasNotebooks = ["Readme.html", "memonaut.html"];